Theoretical Aspects of Communication - Centred Programming 1
نویسندگان
چکیده
This short note outlines two different ways of describing communication-centric software in the form of formal calculi and discuss their relationship. Two different paradigms of description, one centring on global message flows and another centring on local (end-point) behaviours, share the common feature, structured representation of communications. The global calculus originates from Web Services Choreography Description Language (WS-CDL), a web service description language developed by W3C’s WS-CDL Working Group. The local calculus is based on the π-calculus, one of the representative calculi for communicating processes. We illustrate these two descriptive frameworks, outline the static and dynamic semantics of these calculi, and discuss the basic idea of end-point projection, by which any well-formed description in the global calculus has a precise representation in the local calculus.
منابع مشابه
Knowledge networking: a holistic solution for leveraging corporate knowledge
Two main approaches to knowledge management (KM) have been followed by early adopters of the principle: the process-centred approach, that mainly treats KM as a social communication process; and the product-centred approach, that focuses on knowledge artefacts, their creation, storage and reuse in computer-based corporate memories. This distinction is evident not only in KM implementations in c...
متن کاملTheoretical Aspects of Communication-Centred Programming
This short note outlines two different ways of describing communication-centric software in the form of formal calculi and discuss their relationship. Two different paradigms of description, one centring on global message flows and another centring on local (end-point) behaviours, share the common feature, structured representation of communications. The global calculus originates from Web Serv...
متن کاملAssessing patient‐centred communication in teaching: a systematic review of instruments
CONTEXT Patient-centred communication is a key component of patient centredness in medical care. Therefore, adequate education in and assessment of patient-centred communication skills are necessary. In general, feedback on communication skills is most effective when it is provided directly and is systematic. This calls for adequate measurement instruments. OBJECTIVES The aim of this study wa...
متن کاملCommunication Strategies Revisited: Looking beyond Interactional and Psycholinguistic Perspectives
Second language (L2) communication strategies (CSs) have traditionally been dealt with through either interactional or psychological perspectives. However, this paper is a critical attempt to question the status of the particular kinds of psycholinguistic and interactional approaches that currently dominate the field of second language acquisition (SLA). In this way, it expands the significance...
متن کاملStrategies in object-oriented design
This paper presents a study aiming to analyse the design strategies of experts in object-oriented programming. We report an experiment conducted with four experts. Each subject solved three problems. Our results show that three strategies may be used in program design according to the solution structure. An object-centred strategy and a function-centred strategy are used when the solution has a...
متن کامل